<?php
	session_start();

	if (isset($_POST['mapFilename'])) {
		$_SESSION['mapFilename'] = $_POST['mapFilename'];
	}

	header("Location: index.html");
?>
